Multi - Valued Optimization

The goal of this project is to develop a MV optimization package and use MV logic optimization to produce efficient code that simulates the MV network. The package is implemented as a MV layer on top of SIS. The process includes taking in a blif mv file, parsing it into a MVSIS network, applying optimization techniques on the network, performing technology mapping on the resulting network, and finally generating C code. We have implemented the following MV optimization techniques: factorization, redundancy removal, node minimization, and MDD variable ordering and experimented with tree-covering and LUT technology mapping.